Books by author Francisco Durán

Showing 1 – 4 out of 4 results

1. 

   Composing Model-Based Analysis Tools

   Robert Heinrich, Francisco Durán, Carolyn Talcott | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   143.68 €

   Sale 7 %

   You save 12.04 €

   Buy
2. 

   Composing Model-Based Analysis Tools

   Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler | Springer, Berlin, 2022

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.71 €

   Sale 7 %

   You save 8.60 €

   Buy
3. 

   All About Maude - A High-Performance Logical Framework

   Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln | Springer, Berlin, 2007

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Hardback

   99.38 €

   Buy
4. 

   Rewriting Logic and Its Applications

   Francisco Durán | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   47.42 €

   Sale 7 %

   You save 3.95 €

   Buy

Nobody else offers you access to a wider selection. Find out more